@PhDTHESIS{Bor_j1992_Diss, author = "Henning~Bordihn", title = "{\"U}ber den {D}eterminiertheitsgrad reiner {V}ersionen formaler {S}prachen", school = "Techn.\ Universit{\"a}t \glqq Otto-von-Guericke\grqq\ Magdeburg", year = 1992, type = "Dissertation" }